BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2015/newsitem/7044/18-
 November-2015-Algebra|Coalgebra-Seminar-Sebastian-
 Enqvist
DTSTAMP:20151108T000000
SUMMARY:Algebra|Coalgebra Seminar, Sebastian Enqvi
 st
ATTENDEE;ROLE=Speaker:Sebastian Enqvist
DTSTART;TZID=Europe/Amsterdam:20151118T160000
DTEND;TZID=Europe/Amsterdam:20151118T170000
LOCATION:Room F3.20, Science Park 107, Amsterdam
DESCRIPTION:Enqvist: I present some recent joint w
 ork with Fatemeh Seifan and Yde Venema, in which w
 e introduced monadic second-order logic interprete
 d on coalgebras. Our main results provided conditi
 ons under which the coalgebraic modal mu-calculus 
 for a given functor is the bisimulation invariant 
 fragment of the corresponding MSO language. The fo
 cus of the talk will be on some open problems rela
 ted to this topic.  For more information, see http
 s://www.illc.uva.nl/alg-coalg or contact Frederik 
 Lauridsen (f.m.lauridsen at uva.nl) or Julia Ilin 
 (ilin.juli at gmail.com).
X-ALT-DESC;FMTTYPE=text/html:\n        <p>Enqvist:
  I present some recent joint work with Fatemeh Sei
 fan and Yde Venema, in which we introduced monadic
  second-order logic interpreted on coalgebras. Our
  main results provided conditions under which the 
 coalgebraic modal mu-calculus for a given functor 
 is the bisimulation invariant fragment of the corr
 esponding MSO language. The focus of the talk will
  be on some open problems related to this topic.</
 p>\n    \n        <p>For more information, see <a 
 target="_blank" href="https://www.illc.uva.nl/alg-
 coalg">https://www.illc.uva.nl/alg-coalg</a> or co
 ntact Frederik Lauridsen (<a class="email">f.m.lau
 ridsen <span class="at">at</span> uva.nl</a>) or J
 ulia Ilin (<a class="email">ilin.juli <span class=
 "at">at</span> gmail.com</a>).</p>\n    
URL:/NewsandEvents/Archives/2015/newsitem/7044/18-
 November-2015-Algebra|Coalgebra-Seminar-Sebastian-
 Enqvist
END:VEVENT
END:VCALENDAR